$\forall$$T$:Type, $L$:($T$ List). ($\neg$($\uparrow$null($L$))) $\Rightarrow$ ($L$ $\sim$ (firstn($\parallel$$L$$\parallel$ {-} 1;$L$) @ [last($L$)]))